41. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
42. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
43. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
44. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
45. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
46. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
47. Combinatorial and global optimizatio
پدیدآورنده : / editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Combinatorial optimization--Congresses,Mathematical optimization--Congresses,Nonlinear programming--Congresses
رده :
QA
,
402
.
5
,.
C5435
,
2002eb
48. Combinatorial and global optimization
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial optimization,Congresses ، Mathematical optimization,Congresses ، Nonlinear programming
رده :
QA
402
.
5
.
C643
49. Combinatorial and global optimization /
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
رده :
QA402
.
5
.
C5435
2002eb
50. Combinatorial and global optimization
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Combinatorial optimization- Congresses,Mathematical optimization- Congresses,Nonlinear programming- Congresses
رده :
QA
،
402
.
5
،.
C5435
،
2002
51. Combinatorial and global optimization
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Combinatorial optimization,Congresses ، Mathematical optimization,Congresses ، Nonlinear programming
رده :
QA
402
.
5
.
C5435
2002
52. Commutative Algebra, Singularities and Computer Algebra :
پدیدآورنده : edited by Jürgen Herzog, Victor Vuletescu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Commutative algebra -- Congresses.,Singularities (Mathematics) -- Congresses.
53. Computation mathematical programming
پدیدآورنده : edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
54. Computational and Group-Theoretical Methods in Nuclear Physics : proceedings of the Symposium in honor of Jerry P. Draayer's 60th birthday : 18-21 February 2003, Playa del Carmen, Mexico
پدیدآورنده : / Draayer Jutta
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Nuclear physics--Mathematics--Congresses.,Scattering (Physics),Object-oriented programming (Computer science)
رده :
QC770
55. Computational and information technologies in science, engineering and education :
پدیدآورنده : Yuri Shokin, Zhassulan Shaimardanov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Technology-- Computer simulation, Congresses.,Technology-- Mathematical models, Congresses.,Technology-- Computer simulation.,Technology-- Mathematical models.
رده :
T57
56. Computational combinatorial optimization :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming (Mathematics) ; Congresses. ;
57. Computational combinatorial optimization
پدیدآورنده : / Michael Jun??ger, Denis Naddef (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming (Mathematics)--Congresses,Combinatorial optimization--Congresses
رده :
T
,
57
.
7
,.
C66
,
2001
QA
,
76
,.
L4
,
no
.
2241
58. Computational combinatorial optimization : optimal or provably near-optimal solutions
پدیدآورنده : Michael Junger, Denis Naddef )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming )Mathematics(,Congresses ، Combinatorial optimization
رده :
QA
76
.
L28
Vol
.
2241
59. Computational diffusion MRI :
پدیدآورنده : Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
RC386
.
6
.
M34
60. Computational mathematical programming
پدیدآورنده : edited by Klaus Schittkowski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
N365
1984
